Wesley Salmon provided three classic criteria of adequacy for satisfactory interpretations of probability. A fourth criterion is suggested here. A distinction is drawn between frequency‐driven probability models and theory‐driven probability models and it is argued that single case accounts of chance are superior to frequency accounts at least for the latter. Finally it is suggested that theories of chance should be required only to be contingently true, a position which is a natural extension of Salmon's ontic account of probabilistic (...) causality and his own later views on propensities. (shrink)

Two major functions of the visual system are discussed and contrasted. One function of vision is the creation of an internal model or percept of the external world. Most research in object perception has concentrated on this aspect of vision. Vision also guides the control of object-directed action. In the latter case, vision directs our actions with respect to the world by transforming visual inputs into appropriate motor outputs. We argue that separate, but interactive, visual systems have evolved for the (...) perception of objects on the one hand and the control of actions directed at those objects on the other. This 'duplex' approach to high-level vision suggests that Marrian or 'reconstructive' approaches and Gibsonian or 'purposive-animate-behaviorist' approaches need not be seen as mutually exclusive, but rather as complementary in their emphases on different aspects of visual function. (shrink)

Results: We analyzed 1,402 surveys and 15 in-depth interviews. Many (32%) CL participants reported greater difficulty refilling medications and a minority (14%) reported greater difficulty accessing HIV care during the pandemic. Most (99%) Opt4Mamas participants reported no difficulty refilling medications or accessing HIV/pregnancy care. Among the CL participants, older women were less likely (aOR = 0.95, 95% CI: 0.92–0.98) and women with more children were more likely (aOR = 1.13, 95% CI: 1.00–1.28) to report difficulty refilling medications. Only 2% of (...) CL participants reported greater difficulty managing FP and most (95%) reported no change in likelihood of using FP or desire to get pregnant. Qualitative analysis revealed three major themes: (1) adverse organizational/economic implications of the pandemic, (2) increased importance of pregnancy prevention during the pandemic, and (3) fear of contracting COVID-19. (shrink)

The Euclidean Programme embodies a traditional sort of epistemological foundationalism, according to which knowledge – especially mathematical knowledge – is obtained by deduction from self-evident axioms or first principles. Epistemologists have examined foundationalism extensively, but neglected its historically dominant Euclidean form. By contrast, this book offers a detailed examination of Euclidean foundationalism, which, following Lakatos, the authors call the Euclidean Programme. The book rationally reconstructs the programme's key principles, showing it to be an epistemological interpretation of the axiomatic method. It (...) then compares the reconstructed programme with select historical sources: Euclid's Elements, Aristotle's Posterior Analytics, Descartes's Discourse on Method, Pascal's On the Geometric Mind and a twentieth-century account of axiomatisation. The second half of the book philosophically assesses the programme, exploring whether various areas of contemporary mathematics conform to it. The book concludes by outlining a replacement for the Euclidean Programme. (shrink)

Emergence develops a novel account of diachronic ontological emergence called transformational emergence and locates it in an established historical framework. The author shows how many problems affecting ontological emergence result from a dominant but inappropriate metaphysical tradition and provides a comprehensive assessment of current theories of emergence.

This paper is a critical analysis of Putnam’s “consistency objection,” an objection made against a particular reading of Wittgenstein’s philosophy of mathematics (“up-to-us-ism”). I show that Putnam’s objection presupposes a rather unlikely version of Wittgenstein’s “up-to-us-ism” and is unable to undermine a more likely anti-Platonist version. I also show that a companion argument, (the “something more” argument) is unable to overturn this more sophisticated anti-Platonist version of Wittgenstein’s up-to-us-ism. Along the way I try to clarify Wittgenstein’s anti-Plalonist account of mathematics, (...) so that others do not repeat Putnam’s mistake. (shrink)

This book is a tour-de-force on how human consciousness may have evolved. From the "phantom pain" experienced by people who have lost their limbs to the uncanny faculty of "blindsight," Humphrey argues that raw sensations are central to all conscious states and that consciousness must have evolved, just like all other mental faculties, over time from our ancestorsodily responses to pain and pleasure. '.

We continue the work of [14, 3, 1, 19, 16, 4, 12, 11, 20] investigating the strength of set existence axioms needed for separable Banach space theory. We show that the separation theorem for open convex sets is equivalent to WKL 0 over RCA 0 . We show that the separation theorem for separably closed convex sets is equivalent to ACA 0 over RCA 0 . Our strategy for proving these geometrical Hahn-Banach theorems is to reduce to the finite-dimensional case (...) by means of a compactness argument. (shrink)

The McCollough effect, an orientation-contingent color aftereffect, has been known for over 30 years and, like other aftereffects, has been taken as a means of probing the brain's operations psychophysically. In this paper, we review psychophysical, neuropsychological, and neuroimaging studies of the McCollough effect. Much of the evidence suggests that the McCollough effect depends on neural mechanisms that are located early in the cortical visual pathways, probably in V1. We also review evidence showing that the aftereffect can be induced without (...) conscious perception of the induction patterns. Based on these two lines of evidence, it is argued that our conscious visual experience of the world arises in the cortical visual system beyond V1. (shrink)

Euclid’s Elements inspired a number of foundationalist accounts of mathematics, which dominated the epistemology of the discipline for many centuries in the West. Yet surprisingly little has been written by recent philosophers about this conception of mathematical knowledge. The great exception is Imre Lakatos, whose characterisation of the Euclidean Programme in the philosophy of mathematics counts as one of his central contributions. In this essay, we examine Lakatos’s account of the Euclidean Programme with a critical eye, and suggest an alternative (...) picture which builds on his work, but differs in a number of important respects. (shrink)

The mind-body problem is widely seen as the great remaining challenge to science and philosophy. Why and how did matter evolve to take on the quality of mind? The author takes the reader to the edges of current knowledge and back to the beginning of time, before mind existed, and in doing so constructs a history of consciousness.

A common complaint against Kripke’s Wittgenstein on Rules and Private Language is that whereas the aim of “the real” Wittgenstein’s private language argument is to establish the impossibility of a necessarily private language, the communitarian account of meaning proposed by Kripke’s Wittgenstein (KW), if successful, would establish the impossibility of a contingently private language. I show that this common complaint is based on a failure of Kripke’s critics (a failure that is justified, in part, by Kripke’s text) to recognize and (...) understand his distinction between a “physically isolated” individual (PII) and an individual “considered in isolation” (ICl) . It is only an ICI for whom rule following and language are rendered impossible by KW. l then show that an lel speaks a necessarily private language. Thus, KW’s private language argument gives us, at best, the same story about the impossibility of private language as pre-Kripke accounts of Wittgenstein’s private language argument. (shrink)

We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-style natural deduction system for the logic that contains only the introduction and elimination rules for the logical constants. From this starting point, if one adds the rule that Fitch called Reiteration, one obtains a proof system for intuitionistic logic in the given signature; (...) if instead of adding Reiteration, one adds the rule of Reductio ad Absurdum, one obtains a proof system for orthologic; by adding both Reiteration and Reductio, one obtains a proof system for classical logic. Arguably neither Reiteration nor Reductio is as intimately related to the meaning of the connectives as the introduction and elimination rules are, so the base logic we identify serves as a more fundamental starting point and common ground between proponents of intuitionistic logic, orthologic, and classical logic. The algebraic semantics for the logic we motivate proof-theoretically is based on bounded lattices equipped with what has been called a weak pseudocomplementation. We show that such lattice expansions are representable using a set together with a reflexive binary relation satisfying a simple first-order condition, which yields an elegant relational semantics for the logic. This builds on our previous study of representations of lattices with negations, which we extend and specialize for several types of negation in addition to weak pseudocomplementation; in an appendix, we further extend this representation to lattices with implications. Finally, we discuss adding to our logic a conditional obeying only introduction and elimination rules, interpreted as a modality using a family of accessibility relations. (shrink)

In disputes about the ontology of music, musical idealism—that is, the view that musical compositions are ideas—has proven to be rather unpopular. We argue that, once we have a better grip on the ontology of ideas, we can formulate a version of musical idealism that is not only defensible, but plausible and attractive. We conclude that compositions are a particular kind of idea: they are completed ideas for musical manifestation.

For children, the collateral damage of the COVID-19 pandemic response has been considerable. In this paper, we use the framework of evidence-based medicine to argue that child abuse is another negative side effect of COVID-19 lockdowns. While it was certain that school closures would have profound social and economic costs, it remains uncertain whether they have any effect on COVID-19 transmission. There is emerging evidence that lockdowns significantly worsened child abuse on a global scale. Low-income and middle-income countries are particularly (...) vulnerable to increases in child abuse. The best available external evidence from systematic research during the pandemic demonstrates an increase in the risk of child maltreatment, an increase in child maltreatment hospitalisations and a concerning decrease in official child maltreatment referrals. The paradoxical phenomenon of increased hospitalisations and decreased reports is unlikely to be explained by a genuine decrease in child abuse. We conclude that lockdowns have an unacceptably high risk of negative side effects for children, as evidenced by child abuse, the true extent of which appears to be masked by lockdown-related disruptions to schools and other surveillance systems. The desire for a sense of security may be a tempting bias towards emphasising the resilience of children, but it is ethically problematic to push children towards abuse in the name of public health. It is our view that the collateral damage of prolonged school closures for society’s most vulnerable members is a powerful ethical consideration against any pandemic response which involves their use. (shrink)

Not since Ernest Nagel’s 1939 monograph on the theory of probability has there been a comprehensive elementary survey of the philosophical problems of probablity and induction. This is an authoritative and up-to-date treatment of the subject, and yet it is relatively brief and nontechnical. Hume’s skeptical arguments regarding the justification of induction are taken as a point of departure, and a variety of traditional and contemporary ways of dealing with this problem are considered. The author then sets forth his own (...) criteria of adequacy for interpretations of probability. Utilizing these criteria he analyzes contemporary theories of probability, as well as the older classical and subjective interpretations. (shrink)

The 2015 Paris Agreement set a global warming limit of 2°C above preindustrial levels. Corporations play an important role in achieving this objective, and methods have recently been developed to map global climate targets to specific industries, and individual corporations within those industries. In this article, we assess whether Sustainability ratings capture corporate performance in meeting the 2°C target. We analyze nine rating schemes used by investors and three commonly used in academic studies. Most rating schemes do consider corporate greenhouse (...) gas emissions in their analysis, whereas only a minority scale emissions by factors that have the potential to allow benchmarking against science-based targets. None take the final step of mapping climate indicators against the 2°C target. Furthermore, we find a lack of consistency in the climate change ratings of the databases used in academic studies. These results are concerning in the context of being able to meet global climate change goals. (shrink)

Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence, in terms of relatively simple invariants. Where this is impossible, it is useful to have concrete results saying so. In model theory and descriptive set theory, there is a large body of work showing that certain classes of mathematical structures admit classification while others do not. In the present paper, we (...) describe some recent work on classification in computable structure theory.Section 1 gives some background from model theory and descriptive set theory. From model theory, we give sample structure and non-structure theorems for classes that include structures of arbitrary cardinality. We also describe the notion of Scott rank, which is useful in the more restricted setting of countable structures. From descriptive set theory, we describe the basic Polish space of structures for a fixed countable language with fixed countable universe. We give sample structure and non-structure theorems based on the complexity of the isomorphism relation, and on Borel embeddings.Section 2 gives some background on computable structures. We describe three approaches to classification for these structures. The approaches are all equivalent. However, one approach, which involves calculating the complexity of the isomorphism relation, has turned out to be more productive than the others. Section 3 describes results on the isomorphism relation for a number of mathematically interesting classes—various kinds of groups and fields. In Section 4, we consider a setting similar to that in descriptive set theory. We describe an effective analogue of Borel embedding which allows us to make distinctions even among classes of finite structures. Section 5 gives results on computable structures of high Scott rank. Some of these results make use of computable embeddings. Finally, in Section 6, we mention some open problems and possible directions for future work. (shrink)

This paper attempts two tasks. First, it sketches how the natural sciences (including especially the biological sciences), the social sciences, and the scientific study of religion can be understood to furnish complementary, consonant perspectives on human beings and human groups. This suggests that it is possible to speak of a modern secular interpretation of humanity (MSIH) to which these perspectives contribute (though not without tensions). MSIH is not a comprehensive interpretation of human beings, if only because it adopts a posture (...) of neutrality with regard to the reality of religious objects and the truth of theological claims about them. MSIH is certainly an impressively forceful interpretation, however, and it needs to be reckoned with by any perspective on human life that seeks to insert its truth claims into the arena of public debate. Second, the paper considers two challenges that MSIH poses to specifically theological interpretations of human beings. On the one hand, in spite of its posture of religious neutrality, MSIH is a key element in a class of wider, seemingly antireligious interpretations of humanity, including especially projectionist and illusionist critiques of religion. It is consonance with MSIH that makes these critiques such formidable competitors for traditional theological interpretations of human beings. On the other hand, and taking the religiously neutral posture of MSIH at face value, theological accounts of humanity that seek to coordinate the insights of MSIH with positive religious visions of human life must find ways to overcome or manage such dissonance as arises. The goal of synthesis is defended as important, and strategies for managing these challenges, especially in light of the pluralism of extant philosophical and theological interpretations of human beings, are advocated. (shrink)

In recent years, there has been much concern expressed about the under-representation of women in academic philosophy. Our goal in this paper is to call attention to a cluster of phenomena that may be contributing to this gender gap. The findings we review indicate that when women and men with little or no philosophical training are presented with standard philosophical thought experiments, in many cases their intuitions about these cases are significantly different. In section 1 we review some of the (...) data on the under-representation of women in academic philosophy. In section 2 we explain how we use the term 'intuition,' and offer a brief account of how intuitions are invoked in philosophical argument and philosophical theory building. In the third section we set out the evidence for gender differences in philosophical intuition and mention some evidence about gender differences in decisions and behaviors that are (or should be) of considerable interest to philosophers. In the fourth section, our focus changes from facts to hypotheses. In that section we explain how differences in philosophical intuition might be an important part of the explanation for the gender gap in philosophy. The fifth section is a brief conclusion. (shrink)

The purpose of this book is to build towards an explanation of just what the matter is.

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with infinitely (...) many agents, PAL-K_omega, as well as standard extensions thereof, e.g., PAL-T_omega, PAL-S4_omega, and PAL-S5_omega. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

This paper discusses several distinct process theories of causality offered in recent years by Phil Dowe and me. It addresses problems concerning the explication of causal process, causal interaction, and causal transmission, whether given in terms of transmission of marks, transmission of invariant or conserved quantities, or mere possession of conserved quantities. Renouncing the mark-transmission and invariant quantity criteria, I accept a conserved quantity theory similar to Dowe's--differing basically with respect to causal transmission. This paper also responds to several fundamental (...) constructive criticisms contained in Christopher Hitchcock's discussion of both the mark-transmission and the conserved quantity theories. (shrink)

In Arrovian social choice theory assuming the independence of irrelevant alternatives, Murakami (1968) proved two theorems about complete and transitive collective choice rules that satisfy strict non-imposition (citizens’ sovereignty), one being a dichotomy theorem about Paretian or anti-Paretian rules and the other a dictator-or-inverse-dictator impossibility theorem without the Pareto principle. It has been claimed in the later literature that a theorem of Malawski and Zhou (1994) is a generalization of Murakami’s dichotomy theorem and that Wilson’s (1972) impossibility theorem is stronger (...) than Murakami’s impossibility theorem, both by virtue of replacing Murakami’s assumption of strict non-imposition with the assumptions of non-imposition and non-nullness. In this note, we first point out that these claims are incorrect: non-imposition and non-nullness are together equivalent to strict non-imposition for all transitive collective choice rules. We then generalize Murakami’s dichotomy and impossibility theorems to the setting of incomplete social preference. We prove that if one drops completeness from Murakami’s assumptions, his remaining assumptions imply (i) that a collective choice rule is either Paretian, anti-Paretian, or dis-Paretian (unanimous individual preference implies noncomparability) and (ii) that adding proposed constraints on noncomparability, such as the regularity axiom of Eliaz and Ok (2006), restores Murakami’s dictator-or-inverse-dictator result. (shrink)

Through his S–R model of statistical relevance, Wesley Salmon offers a solution to the scientific explanation of objectively improbable events.